Motion of two bodies attached to the ends of a string that passes over a frictionless pulley such that one body moves vertically and the other moves on a smooth horizontal surface